Attitude face à la fin de vie et à la mort

De la linguistique descriptive à la linguistique appliquée en côte d’ivoire: analyse et propositions

4 مجله مطالعات زبان فرانسه، سال پنجم، شماره 8، بهار و تابستان 1392 گذار از زبانشناسی توصیفی به زبانشناسی کاربردی در کشور ساحل عاج: تحلیل و راهکارها پییر آدو کواکو کوادیو دانشگاه فلیکس هوفاعه بوانی، آبیجان -کوکودی، ساحل عاج [email protected] 1392/5/ 1391 تاریخ پذیرش: 23 /10/ تاریخ دریافت: 28 این مقاله در نظر دارد تحلیلی انتقادی از کاربستهای زبانشناسی کاربردی در ساحل عاج ارایه کند. در آفریقا، علیر...

Contribution à l'étude de la maladie athéromateuse

Conception et implémentation d'un système d'aide à la spécification et à la preuve de programmes ML

One should not underestimate the import of being able to verify the conformance between a program and its specification. Furthermore, being able to verify it using a dedicated program allows one to check the correctness of this verification. For this purpose, one uses proof assistants, which are programs that allows to describe the problem, build proofs, then check them. There are more than one...

Adaptation de Virus de la Pest Equine à la culture des cellules

Les accidents de la vie courante chez l’enfant à Dakar: à propos de 201 cas

Résumé Les accidents de la vie courante (AcVC) sont fréquents chez l’enfant et peuvent être à l’origine de lésions handicapantes et de décès. L’objectif de notre travail était d’étudier les aspects épidémiologiques et lésionnels des AcVC à Dakar. C’est une étude transversale descriptive menée du 1 Janvier 2013 au 30 juin 2013. Les enfants victimes d’accidents domestiques, d’accidents de sport e...